Deadlock Prevention Policy Based on Max-controlled Property of Siphons for Resource Allocation Systems 基于信标最大可控性的资源分配系统死锁预防策略
Tool flow deadlock decision theorem and non-deadlock graph property theorem are given based on extended tools applying allocation graph. 在扩展的刀具申请分配图基础上,建立了刀具流死锁判定定理和非死锁图的性质定理。